A Slotted Hash Cons for Alpha Invariance
philipzucker.com·52m·
Discuss: Hacker News
🔗Lexical Scoping
Algebraic Types are not Scary
blog.aiono.dev·9h·
Discuss: Lobsters, Hacker News
✅Type Checking
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·15h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
A Kevin week
blog.mitrichev.ch·22h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Temporal Preferences in Language Models for Long-Horizon Assistance
arxiv.org·15h
🌱Minimal Languages
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·6h·
Discuss: DEV
🏗️Cranelift
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🎭Racket Modules
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
A Visual Guide to Tuning Gradient Boosted Trees
towardsdatascience.com·17m
🪜Recursive Descent
Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·23h·
Discuss: Hacker News
⚡functional programming
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
What Does -> Mean in Python Function Definitions?
realpython.com·5h
🌊Gradual Typing
original ↗
blog.djnavarro.net·1d
📝Rope Editors
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·5h
📊Pratt Parsers
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🎯Finite Automata